منابع مشابه
Continuity and Logical Completeness. An application of sheaf theory and
Continuity and Logical Completeness. An application of sheaf theory and topoi. section: Category theory The notion of a continuously variable quantity can be regarded as a generalization of that of a particular (constant) quantity, and the properties of such quantities are then akin to, and derived from, the properties of constants. For example, the continuous, real-valued functions on a topolo...
متن کاملContinuity and Logical Completeness: An Application of Sheaf Theory and Topoi
The notion of a continuously variable quantity can be regarded as a generalization of that of a particular (constant) quantity, and the properties of such quantities are then akin to, and derived from, the properties of constants. For example, the continuous, real-valued functions on a topological space behave like the eld of real numbers in many ways, but instead form a ring. Topos theory perm...
متن کاملMetaphysics of Logical Realism
با اینکه اغلب به غلط تصور میشود که فلسفۀ تحلیلی، به عنوان یک جنبش ضد-متافیزیکی، هیچ ارتباطی با متافیزیک ندارد، اما دلایل خوبی وجود دارند که بر اساس آن میتوان تمایلات متافیزیکی فیلسوفان تحلیلی را تصدیق نمود و متعاقباً ماهیت ضد-متافیزیکی فلسفه تحلیلی را در تمام مراحل شکلگیریاش به حداقل رساند. چون فلسفه تحلیلی یک جنبش تاریخی است که ماهیت اصلی آن در چند مرحله شکل یافته است، لذا با پیگیری این مرا...
متن کاملDensity Continuity Versus Continuity
Real-valued functions of a real variable which are continuous with respect to the density topology on both the domain and the range are called density continuous. A typical continuous function is nowhere density continuous. The same is true of a typical homeomorphism of the real line. A subset of the real line is the set of points of discontinuity of a density continuous function if and only if...
متن کاملJoin-continuity + Hypercontinuity = Prime continuity
Abstract. A remarkable result due to Kou, Liu & Luo states that the condition of continuity for a dcpo can be split into quasi-continuity and meet-continuity. Their argument contained a gap, however, which is probably why the authors of the monograph Continuous Lattices and Domains used a different (and fairly sophisticated) sequence of lemmas in order to establish the result. In this note we s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1968
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093893518